Tesis
|
BlockGuitars: herramienta para las transacciones de instrumentos musicales mediante blockchain
|
Castelli Lluch, Carlos Damián
|
(2019)
|
Sala
|
----------
|
Libro
|
Computabilidad, complejidad computacional y verificación de programas:
|
Rosenfeld, Ricardo Fabián
|
1a ed.
(2013)
|
|
----------
|
Libro
|
Computabilidad, complejidad computacional y verificación de programas
|
Rosenfeld, Ricardo Fabián
|
1a ed.
(2013)
|
Domicilio
|
----------
|
Tesis
|
El modelo relacional en el marco de transformación de modelos:
|
Irazábal, Jerónimo
|
(2009)
|
Sala
|
----------
|
Artículo
|
Metamodel independence in domain specific modeling languages :
|
Irazábal, Jerónimo
|
(2013)
|
|
----------
|
Artículo
|
Model transformation as a mechanism for the implementation of domain specific transformation languages :
|
Irazábal, Jerónimo
|
(2010)
|
|
----------
|
Artículo
|
Model transformation languages relying on models as ADTs :
|
Irazábal, Jerónimo
|
(2010)
|
|
----------
|
Artículo
|
Supporting modularization in textual DSL development :
|
Irazábal, Jerónimo
|
(2010)
|
|
----------
|
Libro
|
Teoría de la computación y verificación de programas:
|
Rosenfeld, Ricardo Fabián
|
1a ed.
(2010)
|
Domicilio
Sala
|
|